Extracting the Essence of Distillation
نویسنده
چکیده
In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation simplifies the presentation of the transformation and hopefully makes it easier to understand. Using distillation, it is possible to produce superlinear improvement in the run-time of programs. This represents a significant advance over deforestation, partial evaluation and positive supercompilation, which can only produce a linear improvement.
منابع مشابه
The Dosage Form of Aragh in Treatment, from the Iranian Traditional Medicine Perspective
BACKGROUND The Iranian traditional medicine is one of the branches of complementary medicine and it is based on using the dosage forms of plants. One of the most common forms of pharmaceutical plants is Aragh. Due to ease-of-use, distillate is a more acceptable form among the public. In this article, it is attempted to study the usage forms and effects of Aragh according to the valid traditiona...
متن کاملExtracting the Essence of Programs
In this paper, we present a new transformation algorithm called distillationwhich can automatically transform higher-order functional programs into equivalent tail-recursive programs. Using this algorithm, it is possible to produce superlinear improvement in the runtime of programs. This represents a significant advance over the supercompilation algorithm, which can only produce a linear improv...
متن کاملNanoparticle Separation Using Direct Contact Membrane Distillation and Its Fouling Study
Direct contact membrane distillation (DCMD) which emerges as an alternative separation technology can effectively perform a colloidal separation process under thermal driven force. DCMD is capable of extracting pure water from aqueous solutions containing non-volatile nanoparticles through the hydrophobic microporous membrane when a vapour pressure difference was established across the membrane...
متن کاملEvaluation of Nonlinear Inferential Models to Estimate the Products Quality of Industrial Distillation Process
The problem of improvement of existing approaches for evaluation of inferential models used in the advanced process control systems is considered. The method of finding the identifiability index limit, based on the physically-chemical essence of the industrial distillation process, for the inferential models containing nonlinear transformations of measured inputs is given. The problem of handli...
متن کاملThe Inoculation Effect of Arum conophalloides on Salmonella typhimurium Bacteria Using an Antibacterial Approach at Different Temperatures, Time Intervals, and Extract Concentrations
ABSTRACT: This study examines the antibacterial effects of Arum conophalloides on S. typhimurium bacteria at different temperatures (–18°, 8°, 16°, 24°, and 32°C) and time intervals (1, 2, 3, 6, 12, 24, and 48 days). This local plant was studied to determine the greatest effect caused by the minimum inhibitory concentration (MIC) and the minimum bactericidal concentration (MBC) as well as the a...
متن کامل